shorten one's working time